Browsing by Subject "Basic theory"

Now showing items 1-2 of 2

    • Article  

      ACLP: Flexible solutions to complex problems 

      Kakas, Antonis C.; Mourlas, G. (1997)
      In this paper we present a new system for non-monotonic reasoning performed using abduction. The system, called ACLP, is a programming language based on the framework of Abductive and Constraint Logic Programming (ACLP) ...
    • Article  

      On confluence in the π-caleulus 

      Philippou, Anna; Walker, D. (1997)
      An account of the basic theory of confluence in the 7r-calculus is presented, techniques for showing confluence of mobile systems are given, and the utility of some of the theory presented is illustrated via an analysis ...